------------------------------------------------------------------------------
*                                                                            *
*  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
*                                                                            *
------------------------------------------------------------------------------

Giorno: 10-10-1993

Funzione: ä5  (10-30)

Numero di variabili: 5
Numero di mintermini: 21
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Tempo totale di elaborazione: 0:0:0

--------------------------
*         FASE A         *
--------------------------
Tempo di elaborazione: 0:0:0
Numero implicanti primi: 10

Implicanti primi determinati: 
	Abc
	bcD
	bcE
	Abd
	bdE
	bCd
	aB
	aC
	aD
	aE

--------------------------
*         FASE B         *
--------------------------
Fast Quine dx
Tempo di elaborazione: 0:0:0
Numero di forme prime paragonate: 1
Numero di tabelle cicliche esaminate: 1
Numero di implicanti soluzione: 5

SOLUZIONE migliore determinata tra le forme esaminate:
aB + bcD + Abd + aC + aE